Reasoning about Schema
نویسنده
چکیده
Schema mappings are an important tool in several areas of database research. Recently, the topic of reasoning about schema mappings was given attention, in particular revolving around the central concepts of equivalence and optimality. In this chapter, we survey these results. First, we introduce relaxed notions of logical equivalence and show their potential for finding optimized schema mappings. We then look at applications of these concepts to optimization, normalization, and schema mapping management, as well as the boundaries of computability. We conclude by giving a glimpse at reasoning about schema mappings in a broader sense by looking at how to debug schema mappings. 1998 ACM Subject Classification H.2.5 [Heterogeneous Databases]: Data translation
منابع مشابه
Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings
of the PhD Thesis Foundations of Information Integration Analyzing, Managing and Reasoning about Schema Mappings
متن کاملThe Winograd Schema Challenge and Reasoning about Correlation
The Winograd Schema Challenge is an alternative to the Turing Test that may provide a more meaningful measure of machine intelligence. It poses a set of coreference resolution problems that cannot be solved without human-like reasoning. In this paper, we take the view that the solution to such problems lies in establishing discourse coherence. Specifically, we examine two types of rhetorical re...
متن کاملPragmatic Reasoning Schema Theory
according to utility theory, people should not allow the _____ of a choice to affect people seem not to have pragmatic reasoning schemata that apply. ical evidence for pragmatic reasoning schema theory comes from performance ory, pragmatic reasoning schemas are abstracted from everyday experience. parts of Cheng and Holyoak's pragmatic reasoning schemas are those about people. However, Cosmides...
متن کاملLocal Reasoning about Mashups
Web mashups are complex programs that dynamically compose data and code from many sources. Whereas data is sometimes formally specified by XML schema, code never is. This makes it difficult to construct reliable software. Using local Hoare reasoning, introduced in separation logic to reason about e.g. C programs and extended in context logic to reason about e.g. the DOM library, we are able to ...
متن کاملReasoning About Data in XML Data Integration
In this paper, we propose solutions to some problems arising while data from different sources is to be integrated under a given target schema. We address the following problems: inferring missing data based on constraints imposed by the target schema, generating mappings from a source schema to a target schema based on key constraints and value dependencies, and merging data based on subsumpti...
متن کامل